[網(wǎng)絡] 證明;概率驗證模型;概率可驗證證明 proofs: 證明human checkable: 人工可檢測machine checkable: 機器可檢測direct proofs: 直接證據(jù)foundry proofs: 鑄版前的清樣下載手機詞典可隨時隨地查詞查翻譯